Metamathematical investigation of intuitionistic arithmetic and analysis
- Författare
- (A.S. Troelstra, (ed.).)
- Språk
- Tyska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1973 | Tyskland, Berlin, New York | 485 sidor. |